Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
141	Mobile Agent Abstractions: Formulation and Implementation Rushikesh K. Joshi, Harikrishnan C. R., M. Hidayath Ansari Department of Computer Science and Engineering Indian Institute of Technology Bombay Powai, Mumbai-4000 Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2008-12-03 09:36:50 Multi-agent systems Agent-based model Software agent Ambient intelligence Mobile agent Agent Computing Science Computer science Process calculi Ambient calculus Artificial intelligence
142	Communicating Processes, Components and Scaleable Systems Peter Welch Computing Laboratory Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2001-06-05 08:40:00 Concurrent computing Musical composition Copyright law of the United States Process calculi
143	CURRICULUM VITAE (revised in January[removed]Name Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-05 11:56:18 Actor model Process calculi Turing Award laureates International Colloquium on Automata Languages and Programming Turing Award Computation Dana Scott Applied mathematics Actor model and process calculi history Computer science Theoretical computer science Mathematics
144	IEEE TRANSACTIONS OF SOFTWARE ENGINEERING, revised document October[removed] Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2012-12-07 08:46:07 Mathematics Mathematical sciences Knowledge PEPA Process calculi Stochastic
145	A Theoretical Basis of Communication-Centred Concurrent Programming Add to Reading List Source URL: www.w3.org Language: English - Date: 2006-10-23 12:21:19 Computing Computer science Process calculus Lambda calculus Π-calculus Calculus WS-CDL Actor model and process calculi history Process calculi Theoretical computer science Applied mathematics
146	Communicating Process Architectures 2008 P.H. Welch et al. (Eds.) IOS Press, 2008 Add to Reading List Source URL: twistedsquare.com Language: English - Date: 2013-08-19 10:40:16 Adjoint functors Procedural programming languages Process calculi Functional languages Occam Communicating sequential processes Monad Haskell Function composition Software engineering Computing Computer programming
147	Process Algebras for Quantitative Analysis J. Hillston LFCS, School of Informatics Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2006-05-09 11:27:44 Markov models Queueing theory PEPA Process calculi Markov chain Product form solution Markov property Semi-Markov process Markov decision process Statistics Markov processes Stochastic processes
148	A Compositional Approach to Performance Modelling Jane Hillston Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-10-04 12:20:33 Mathematics Process calculi Applied mathematics Markov models Stochastic processes Bisimulation Markov chain PEPA Process calculus Statistics Markov processes Theoretical computer science
149	PDF Document Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-01-13 10:32:24 Formal methods Process calculus Denotational semantics Algebra of Communicating Processes Communicating sequential processes Algebraic structure Universal algebra Construction and Analysis of Distributed Processes Calculus of communicating systems Process calculi Theoretical computer science Mathematics
150	doi:[removed]j.entcs[removed] Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2007-09-04 04:02:48 Jan Bergstra Process calculus Algebra of Communicating Processes Abstract algebra Computer science Communicating sequential processes Algebraic logic Axiom Algebra Process calculi Computing Software

UPDATE